$\forall$$R$:es\_realizer\{i:l\}, $k$:Knd, $i$:Id. write{-}restricted($R$; $i$; $k$) $\in$ $\mathbb{B}$